Formal semantics
noun
noun ·Rare ·Advanced level
Definitions
Noun
- 1 The study of the semantics, or interpretations, of formal languages. uncountable
- 2 the branch of semantics that studies the logical aspects of meaning wordnet
- 3 the rigorous mathematical study of the meaning of programming languages uncountable